1. Logic for concurrency and synchronisation
المؤلف: / edited by Ruy J.G.B. de Queiroz
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Proof theory,Modality (Logic),Parallel programming (Computer science)
رده :
QA9
.
54
.
L64
2003
2. Logic for concurrency and synchronisation]CD[
المؤلف: edited by Ruy J.G.B. de Queiroz
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Proof theory,، Modality )Logic(,، Parallel programming )Computer science(
رده :
CD
1743-35
3. Logic for concurrency and synchronisation
المؤلف: / edited by Ruy J.G.B. de Queiroz
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
رده :
E-BOOK
